$\forall$$A$:Type. Id\{$A$\} $\in$ $A$$\rightarrow$$A$